#include <stdio.h>
#include <stdint.h>

void printParam(int p);
typedef void (*PrintFuncF)(int p);
PrintFuncF g_printCb = printParam;
PrintFuncF *g_printCbPointer = &g_printCb;
int func3(uint64_t p0, uint64_t p1, uint64_t p2, uint64_t p3)
{
    g_printCb(p0);
    g_printCb(p1);
    g_printCb(p2);
    (*g_printCbPointer)(p3);
    return 0;
}